Видео с ютуба Lean Theorem Prover

Let's code math | Lean4 | Theorem prover

Введение в метод доказательства теорем Lean | Якоб фон Раумер (Lindy Labs) - DSS 101 2024

10 minute Lean tutorial : proving logical propositions

Is This the End of Handwritten Math? Introducing Lean

PLSE: Leonardo de Moura, "The Lean Theorem Prover"

Infinitude of primes --- a Lean theorem prover demo

Automated Mathematical Proofs - Computerphile

The Best New Programming Language is a Proof Assistant by Harry Goldstein | DC Systems 006

How to learn Lean programming language | Terence Tao and Lex Fridman

Alex Best - Aristotle, an AI theorem prover using Lean (Lean Together 2026)

Создатель Lean: рукописная математика кардинально изменится | Леонардо де Моура

I tried Lean and instantly got PhD in Math

Lean for Scientists and Engineers, Summer 2024 - Lecture 1

Lean 4 Explained in 2^6 Seconds

Как математики могут начать использовать Lean

Formalizing Combinatorics Definitions in the Lean Theorem Prover - Alena Gusakov

Доказательство Великой теоремы Ферма: что на самом деле Claude доказал в Lean за 11 дней